Open Source OCaml (Objective Caml) Mathematics Software

x
Sort By:

OCaml (Objective Caml) Mathematics Software

View 203 business solutions
Mathematics OCaml (Objective Caml) Clear Filters

Browse free open source OCaml (Objective Caml) Mathematics Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Mathematics Software by OS, license, language, programming language, and project status.

  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1

    ocaml-glpk

    OCaml bindings for GLPK

    OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.
    Leader badge
    Downloads: 16 This Week
    Last Update:
    See Project
  • 2
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    2 Reviews
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 5
    The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    OCaml FEM provides a set of libraries to facilitate writing of finite element codes in OCaml (http://caml.inria.fr/). It provides uniform interaction with several meshers, examples of FEM code using Lacaml.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 10
    OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    This is an ocaml binding for LevMar Minimization library. The library offers minimization from IR^n to IR^d finding the point which minimizes the distance ||f(p)-x0|| where x0 is the solution in the image space. The binding enables to use ocaml functions
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Surikata
    SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    TopDeg

    Program for topological degree calculation.

    The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

veeam logo